Buy Used and New Howard Bowman Books

Formal Methods for Open Object-Based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)

by Howard Bowman,John Derrick

ISBN 13: 9780412820403

Format: Hardcover (488 pages)
Publisher: Springer
Published: 30 Jun 1997

Save for later

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

by Howard Bowman,Rodolfo Gomez

ISBN 13: 9781849969512

Format: Paperback (460 pages)
Publisher: Springer
Published: 13 Oct 2010

Save for later